Последовательность вложенных отрезков.
Последовательность $\{[a_n, b_n]\}_{n=1}^{\infty} = \{[a_1, b_1], [a_2, b_2], ..., [a_n, b_n], ...\}$ называется вложенной, если $$\forall{n \in \mathbb{N}}\;[a_{n+1}, b_{n+1}] \subset [a_n, b_n]$$
Последовательность $\{[a_n, b_n]\}_{n=1}^{\infty} = \{[a_1, b_1], [a_2, b_2], ..., [a_n, b_n], ...\}$ называется вложенной, если $$\forall{n \in \mathbb{N}}\;[a_{n+1}, b_{n+1}] \subset [a_n, b_n]$$